Optimal. Leaf size=156 \[ \frac {(a (A c-c C+B d)-b (B c-(A-C) d)) x}{c^2+d^2}-\frac {(A b c+a B c-b c C-a A d+b B d+a C d) \log (\cos (e+f x))}{\left (c^2+d^2\right ) f}-\frac {(b c-a d) \left (c^2 C-B c d+A d^2\right ) \log (c+d \tan (e+f x))}{d^2 \left (c^2+d^2\right ) f}+\frac {b C \tan (e+f x)}{d f} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.23, antiderivative size = 156, normalized size of antiderivative = 1.00, number of steps
used = 5, number of rules used = 5, integrand size = 43, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.116, Rules used = {3718, 3707,
3698, 31, 3556} \begin {gather*} -\frac {(b c-a d) \left (A d^2-B c d+c^2 C\right ) \log (c+d \tan (e+f x))}{d^2 f \left (c^2+d^2\right )}-\frac {\log (\cos (e+f x)) (-a A d+a B c+a C d+A b c+b B d-b c C)}{f \left (c^2+d^2\right )}+\frac {x (a (A c+B d-c C)-b (B c-d (A-C)))}{c^2+d^2}+\frac {b C \tan (e+f x)}{d f} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 31
Rule 3556
Rule 3698
Rule 3707
Rule 3718
Rubi steps
\begin {align*} \int \frac {(a+b \tan (e+f x)) \left (A+B \tan (e+f x)+C \tan ^2(e+f x)\right )}{c+d \tan (e+f x)} \, dx &=\frac {b C \tan (e+f x)}{d f}-\frac {\int \frac {b c C-a A d-(A b+a B-b C) d \tan (e+f x)+(b c C-b B d-a C d) \tan ^2(e+f x)}{c+d \tan (e+f x)} \, dx}{d}\\ &=\frac {(a (A c-c C+B d)-b (B c-(A-C) d)) x}{c^2+d^2}+\frac {b C \tan (e+f x)}{d f}+\frac {(A b c+a B c-b c C-a A d+b B d+a C d) \int \tan (e+f x) \, dx}{c^2+d^2}-\frac {\left ((b c-a d) \left (c^2 C-B c d+A d^2\right )\right ) \int \frac {1+\tan ^2(e+f x)}{c+d \tan (e+f x)} \, dx}{d \left (c^2+d^2\right )}\\ &=\frac {(a (A c-c C+B d)-b (B c-(A-C) d)) x}{c^2+d^2}-\frac {(A b c+a B c-b c C-a A d+b B d+a C d) \log (\cos (e+f x))}{\left (c^2+d^2\right ) f}+\frac {b C \tan (e+f x)}{d f}-\frac {\left ((b c-a d) \left (c^2 C-B c d+A d^2\right )\right ) \text {Subst}\left (\int \frac {1}{c+x} \, dx,x,d \tan (e+f x)\right )}{d^2 \left (c^2+d^2\right ) f}\\ &=\frac {(a (A c-c C+B d)-b (B c-(A-C) d)) x}{c^2+d^2}-\frac {(A b c+a B c-b c C-a A d+b B d+a C d) \log (\cos (e+f x))}{\left (c^2+d^2\right ) f}-\frac {(b c-a d) \left (c^2 C-B c d+A d^2\right ) \log (c+d \tan (e+f x))}{d^2 \left (c^2+d^2\right ) f}+\frac {b C \tan (e+f x)}{d f}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains complex when optimal does not.
time = 0.72, size = 148, normalized size = 0.95 \begin {gather*} \frac {\frac {(-i a+b) (A+i B-C) \log (i-\tan (e+f x))}{c+i d}+\frac {(i a+b) (A-i B-C) \log (i+\tan (e+f x))}{c-i d}+\frac {2 (-b c+a d) \left (c^2 C-B c d+A d^2\right ) \log (c+d \tan (e+f x))}{d^2 \left (c^2+d^2\right )}+\frac {2 b C \tan (e+f x)}{d}}{2 f} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.22, size = 173, normalized size = 1.11
method | result | size |
derivativedivides | \(\frac {\frac {C b \tan \left (f x +e \right )}{d}+\frac {\left (A a \,d^{3}-A b c \,d^{2}-B a c \,d^{2}+B b \,c^{2} d +C a \,c^{2} d -C b \,c^{3}\right ) \ln \left (c +d \tan \left (f x +e \right )\right )}{d^{2} \left (c^{2}+d^{2}\right )}+\frac {\frac {\left (-A a d +A b c +B a c +B b d +a C d -C b c \right ) \ln \left (1+\tan ^{2}\left (f x +e \right )\right )}{2}+\left (A a c +A b d +B a d -B b c -C a c -C b d \right ) \arctan \left (\tan \left (f x +e \right )\right )}{c^{2}+d^{2}}}{f}\) | \(173\) |
default | \(\frac {\frac {C b \tan \left (f x +e \right )}{d}+\frac {\left (A a \,d^{3}-A b c \,d^{2}-B a c \,d^{2}+B b \,c^{2} d +C a \,c^{2} d -C b \,c^{3}\right ) \ln \left (c +d \tan \left (f x +e \right )\right )}{d^{2} \left (c^{2}+d^{2}\right )}+\frac {\frac {\left (-A a d +A b c +B a c +B b d +a C d -C b c \right ) \ln \left (1+\tan ^{2}\left (f x +e \right )\right )}{2}+\left (A a c +A b d +B a d -B b c -C a c -C b d \right ) \arctan \left (\tan \left (f x +e \right )\right )}{c^{2}+d^{2}}}{f}\) | \(173\) |
norman | \(\frac {\left (A a c +A b d +B a d -B b c -C a c -C b d \right ) x}{c^{2}+d^{2}}+\frac {b C \tan \left (f x +e \right )}{d f}+\frac {\left (A a \,d^{3}-A b c \,d^{2}-B a c \,d^{2}+B b \,c^{2} d +C a \,c^{2} d -C b \,c^{3}\right ) \ln \left (c +d \tan \left (f x +e \right )\right )}{d^{2} f \left (c^{2}+d^{2}\right )}-\frac {\left (A a d -A b c -B a c -B b d -a C d +C b c \right ) \ln \left (1+\tan ^{2}\left (f x +e \right )\right )}{2 \left (c^{2}+d^{2}\right ) f}\) | \(181\) |
risch | \(-\frac {2 i B b \,c^{2} e}{d f \left (c^{2}+d^{2}\right )}-\frac {2 i C a \,c^{2} e}{d f \left (c^{2}+d^{2}\right )}+\frac {2 i C b \,c^{3} e}{d^{2} f \left (c^{2}+d^{2}\right )}-\frac {2 i d A a e}{f \left (c^{2}+d^{2}\right )}+\frac {2 i A b c e}{f \left (c^{2}+d^{2}\right )}+\frac {2 i B a c e}{f \left (c^{2}+d^{2}\right )}-\frac {2 i B b \,c^{2} x}{d \left (c^{2}+d^{2}\right )}-\frac {2 i C a \,c^{2} x}{d \left (c^{2}+d^{2}\right )}+\frac {2 i C b \,c^{3} x}{d^{2} \left (c^{2}+d^{2}\right )}+\frac {\ln \left ({\mathrm e}^{2 i \left (f x +e \right )}-\frac {i d +c}{i d -c}\right ) B b \,c^{2}}{d f \left (c^{2}+d^{2}\right )}+\frac {\ln \left ({\mathrm e}^{2 i \left (f x +e \right )}-\frac {i d +c}{i d -c}\right ) C a \,c^{2}}{d f \left (c^{2}+d^{2}\right )}-\frac {\ln \left ({\mathrm e}^{2 i \left (f x +e \right )}-\frac {i d +c}{i d -c}\right ) C b \,c^{3}}{d^{2} f \left (c^{2}+d^{2}\right )}-\frac {2 i C b c e}{d^{2} f}+\frac {2 i a C x}{d}-\frac {\ln \left ({\mathrm e}^{2 i \left (f x +e \right )}+1\right ) a C}{d f}+\frac {i x A b}{i d -c}+\frac {i x a B}{i d -c}-\frac {i x C b}{i d -c}-\frac {\ln \left ({\mathrm e}^{2 i \left (f x +e \right )}+1\right ) B b}{d f}+\frac {2 i B b x}{d}-\frac {x a A}{i d -c}+\frac {x B b}{i d -c}+\frac {x C a}{i d -c}-\frac {2 i C b c x}{d^{2}}-\frac {2 i d A a x}{c^{2}+d^{2}}+\frac {2 i A b c x}{c^{2}+d^{2}}+\frac {2 i B a c x}{c^{2}+d^{2}}+\frac {\ln \left ({\mathrm e}^{2 i \left (f x +e \right )}+1\right ) C b c}{d^{2} f}+\frac {d \ln \left ({\mathrm e}^{2 i \left (f x +e \right )}-\frac {i d +c}{i d -c}\right ) A a}{f \left (c^{2}+d^{2}\right )}-\frac {\ln \left ({\mathrm e}^{2 i \left (f x +e \right )}-\frac {i d +c}{i d -c}\right ) A b c}{f \left (c^{2}+d^{2}\right )}-\frac {\ln \left ({\mathrm e}^{2 i \left (f x +e \right )}-\frac {i d +c}{i d -c}\right ) B a c}{f \left (c^{2}+d^{2}\right )}+\frac {2 i C b}{f d \left ({\mathrm e}^{2 i \left (f x +e \right )}+1\right )}+\frac {2 i B b e}{d f}+\frac {2 i a C e}{d f}\) | \(776\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.55, size = 182, normalized size = 1.17 \begin {gather*} \frac {\frac {2 \, C b \tan \left (f x + e\right )}{d} + \frac {2 \, {\left ({\left ({\left (A - C\right )} a - B b\right )} c + {\left (B a + {\left (A - C\right )} b\right )} d\right )} {\left (f x + e\right )}}{c^{2} + d^{2}} - \frac {2 \, {\left (C b c^{3} - A a d^{3} - {\left (C a + B b\right )} c^{2} d + {\left (B a + A b\right )} c d^{2}\right )} \log \left (d \tan \left (f x + e\right ) + c\right )}{c^{2} d^{2} + d^{4}} + \frac {{\left ({\left (B a + {\left (A - C\right )} b\right )} c - {\left ({\left (A - C\right )} a - B b\right )} d\right )} \log \left (\tan \left (f x + e\right )^{2} + 1\right )}{c^{2} + d^{2}}}{2 \, f} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 3.88, size = 217, normalized size = 1.39 \begin {gather*} \frac {2 \, {\left ({\left ({\left (A - C\right )} a - B b\right )} c d^{2} + {\left (B a + {\left (A - C\right )} b\right )} d^{3}\right )} f x - {\left (C b c^{3} - A a d^{3} - {\left (C a + B b\right )} c^{2} d + {\left (B a + A b\right )} c d^{2}\right )} \log \left (\frac {d^{2} \tan \left (f x + e\right )^{2} + 2 \, c d \tan \left (f x + e\right ) + c^{2}}{\tan \left (f x + e\right )^{2} + 1}\right ) + {\left (C b c^{3} + C b c d^{2} - {\left (C a + B b\right )} c^{2} d - {\left (C a + B b\right )} d^{3}\right )} \log \left (\frac {1}{\tan \left (f x + e\right )^{2} + 1}\right ) + 2 \, {\left (C b c^{2} d + C b d^{3}\right )} \tan \left (f x + e\right )}{2 \, {\left (c^{2} d^{2} + d^{4}\right )} f} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [C] Result contains complex when optimal does not.
time = 1.02, size = 2387, normalized size = 15.30 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.71, size = 186, normalized size = 1.19 \begin {gather*} \frac {\frac {2 \, C b \tan \left (f x + e\right )}{d} + \frac {2 \, {\left (A a c - C a c - B b c + B a d + A b d - C b d\right )} {\left (f x + e\right )}}{c^{2} + d^{2}} + \frac {{\left (B a c + A b c - C b c - A a d + C a d + B b d\right )} \log \left (\tan \left (f x + e\right )^{2} + 1\right )}{c^{2} + d^{2}} - \frac {2 \, {\left (C b c^{3} - C a c^{2} d - B b c^{2} d + B a c d^{2} + A b c d^{2} - A a d^{3}\right )} \log \left ({\left | d \tan \left (f x + e\right ) + c \right |}\right )}{c^{2} d^{2} + d^{4}}}{2 \, f} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 10.25, size = 186, normalized size = 1.19 \begin {gather*} \frac {\ln \left (\mathrm {tan}\left (e+f\,x\right )-\mathrm {i}\right )\,\left (A\,b+B\,a-C\,b-A\,a\,1{}\mathrm {i}+B\,b\,1{}\mathrm {i}+C\,a\,1{}\mathrm {i}\right )}{2\,f\,\left (c+d\,1{}\mathrm {i}\right )}+\frac {\ln \left (\mathrm {tan}\left (e+f\,x\right )+1{}\mathrm {i}\right )\,\left (B\,b+A\,b\,1{}\mathrm {i}+B\,a\,1{}\mathrm {i}-A\,a+C\,a-C\,b\,1{}\mathrm {i}\right )}{2\,f\,\left (d+c\,1{}\mathrm {i}\right )}-\frac {\ln \left (c+d\,\mathrm {tan}\left (e+f\,x\right )\right )\,\left (d^2\,\left (A\,b\,c+B\,a\,c\right )-d\,\left (B\,b\,c^2+C\,a\,c^2\right )-A\,a\,d^3+C\,b\,c^3\right )}{f\,\left (c^2\,d^2+d^4\right )}+\frac {C\,b\,\mathrm {tan}\left (e+f\,x\right )}{d\,f} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________